Look factory to me, the yellow one shouldnt be anything special...my SO guy told me this year's "Fathers Day Color" was Yellow...so i'm sure you'll see eBay busting at the seams with yellow stuff soon...the other one pictured looks like the Dark blue which was last year's special color.
Either way...what does it matter? and theres no real way to proove it either way..