That's a good FYI.
You're correct, Manuals use a clutch pulley and Tips are fixed. As I understand it, manuals tend to throw the belts when used with a fixed type pulley.
When I replaced my alternator it came with a fixed type and I needed to swap pulleys.
A short stop at a local shop and for the price of a coffee it was done.
