Any 12V marker lamp which suits your fancy will do the job...all you have to do is change the bulbs to 24V.
Buying MCI lamps is going to cost you a premium and trust me...there isn't a BusNut in the country who will
chastise you for complying with the law and saving money in the process.
NCbob