How to refurbish an old craftsman table saw