Call me stupid but I actually went to the dealer and paid $40CAD for a set of these bulbs... I should check to see if they're stamped PORSCHE and made in Germany.
I've played with aftermarket bulbs in the past and trust me it's not fun when something goes wrong and you're trying to troubleshoot. There's too many versions just on eghey and it's difficult to tell which one works best. Maybe I'll go LED for my next set.