Both very good engines. However, the prices are WAY TOO HIGH! In the 80's and 90's I imported a bunch of Irvings through "Just Engines" in England. (BTW No relation to me, simply a company name as all they sold were engines) If your LHS has had them on display for 30+years he should make a better offer. Offer him $100 for the pair. My opinion only.
Joe