A few random thoughts:
42k is a major service interval, so be sure that service has been done. (Valve check/service is part of that.) That service costs $600 or so around here, & I don't remember thinking Lone Star was any cheaper than my local dealer.
I wonder if that's the same BRG Sprint I saw when I was down there in April?
$3000 is probably more like it, especially with 42k on the clock. You can probably talk 'em down. OTOH, the service records, & especialy the 42k service, are worth a bit...
Aside from my RS

, it's hard to imagine a better 10k/year bike. Rock solid & fun to ride!
Cheers,
-Kit