Does code require the receptacle for a over-the-range microwave to be GFI
protected? (Seems to me like it would be a good idea because one may
frequently be touching the microwave and the grounded range - or is it
sufficient to depend on the microwave ground being intact at all times?)

Anyway the main question is, "Doec the code require a GFI here?"

Many thanks.