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.