https://imgur.com/gallery/1fDNILQ

Am I right in thinking this is a mk1 hw80? It’s in 4.5mm full length barrel excellent bluing and very good stock with a few marks. How much should I look to pay? Currently no open sights but owner is looking for them! Serial number 923371