580 type works, this is the one that Halfords, EuroCarParts or GSF have in stock if u ask or search. T20 or 7443 will come back with zero result on their website. Bought 2 for a fiver as it is always recommended to swap both sides else the older one will give up soon. (don't know the science behind it)
The bulb I have replaced seems to be from factory as it has same supplier name (Ichikoh) on the brake lights. If it is, they lasted 13 years =)