Get 3157 type bulbs. They are the same thing and far more common (and cheaper on eBay.)

Also, as mentioned, the switchbacks usually float around the 6000k range.