No doubt the B57 was rare in the UK, but Singapore ever had these buses in the 1980s. Some of them were later sold to Ireland for use as school buses.