Hammer price with buyers premium would be roughly $3600.
Allowing a $1000 for import, customs, broker etc. I figured less than $5K all in.
This could be a doable proposition noting that most original SB Mag Mausers on the US market are priced way high (IMO).
This one did look a little beat though, and not being there to inspect the gun is a little scary - even if I think the price is reasonable.