I've seen various YT comments saying the same, that the Hatton's O Gauge locos are muck.
Still, be nice for a static model!
Two Murphy Models Cravens, good seller, I've bought from them several times:
https://touch.adverts.ie/toy-cars-trains-boats-planes/model-railway/28419622
They also have IE livery 187 for €195:
https://touch.adverts.ie/toy-cars-trains-boats-planes/model-railway/28380295
And IE livery 146 for €195:
https://touch.adverts.ie/toy-cars-trains-boats-planes/model-railway/28380275
Edit: Not a bargain, but if you're loaded and you're into that kind of thing, @Look-its-evan has this for sale:
https://touch.adverts.ie/toy-cars-trains-boats-planes/irish-rail-dmu-2600-class-arrow-livery/28290395