On issue #3, I would add that since your mechanic will probably need to take the valve cover off to change the little spark plug tube grommets, it would be an excellent time for him to adjust the valves, which you really ought to do every 30-50,000 miles, but nobody ever does.
Sure these aren’t hydraulic valves. 87 Accord didn’t have them…but the I know the 95 and later…Not sure about the 90 though.