Those do look very nice. I'm assuming the asking price is a funny way to say @MMAO"?
If not, then knock 2 zeros off the end and you'll be at the high end of a reasonable starting point.
Even with post pandemic extortionist shipping from Ireland to the US.
Price check seriousness.....you might get serious offers in the under $200 range.