I am not a huge fan of collectibles either outside of Gundams but based on what I heard he's getting a bargain
Also for your Warhammer dwarf miners, you could check the prices on Amazon and Walmart as well - they both seem to have a lot of Warhammer minatures for sale, and you could find a better price maybe.