My girlfriends got a 1999 VW Golf MK4 GTI.
The other day she got an "ALTERNATOR WORKSHOP" message a few times and the battery light came on.
Alternator looks to put out the correct voltage, battery looks good, Google suggests that it could be the alternator clutch pulley.
I've tested the clutch pulley by removing the belt, locking the alternator with a screwdriver and spinning it - "locked up" i.e. no freewheel in either direction.
I've looked online and its suggested I'll need a 33T spine tool and the replacement pulleys seem to use the same fitting (i.e. it's not some bolt you re-use).
I've looked at the pulley fitted and it uses a 24mm bolt with a T50 (Torx).
I can't seem to find a replacement clutch pulley that uses the 24mm / T50 combination. Does anyone know where I could find one?
Pictures:


