“hrc 92 portable dot peen marker”