I paid $5,500 on the last day lifetime memberships were sold 12/31/2005, so paying $1,500 less twenty years later seems much too low. My Northwest (2008) and Continental (2001) memberships cost less.
Personally I think that one of the benefits for million milers should be the ability to purchase a lifetime Admirals Club membership for something like 10x the current price, so today that would be $8,500.