I've been looking around for one of these. Came across this one and the dealer didnt know if it was stock.
To me it looks like a aftermarket pulley and maybe that fill can??? Its out of state so doing some due diligence.
Car was definitely modded and then some parts pulled (easy ones - intake is one) before it got turned/traded in. Take a look at the upper pulley and see if its marked (anything less than 2.5 is not a stock diameter). To get that aftermarket pulley on up top, blower had been opened up to make the swap. Could be ported at that time too but again, you won't know exactly. It could all be fine and good but do your diligence on having the dealer check the computer for a tune or that is had been tuned in general.