Red belts can be got as a generic red belt in the UK I believe they use them for vans and the likes, Xworks has them in his e30 m3