The 'within walking distance' location of John Paul's Armadillo Oil Company has closed. Alas. I went there today for a steak for lunch, and it is no more. To be honest, it's probably been closed for a while, but this (obviously) was the first I've heard about it.