Was a Quench Tray included as standard equipment with all vintage Craftsman block grinders, or was it an optional feature depending on the specific model? Thank you