Great! I'll send him a message. Glad to know that should be a doable request.
ChristineGER, thanks the suggestion! I got to the annotation inspector, which I hadn't located before. But after selecting all of the highlights I couldn't figure out how to change the color. I hit "option cmd C", but that didn't work. I also tried hitting the highlight tool, which also didn't work.