It turns out that the $800 AK I saw was actually a completely fair price for that version and I should have bought it.
Today I ran across a Mini 14 and some fancy pants piston AR-10 type thing.
The Mini was $1600. The AR-10 thing was $3500.
I passed on both.