Речник на българския език
били гравирали е производна форма на гравирам (преизк. накл., мин.неопр.вр., 3 л., мн. ч.).