“Is the GE trim kit JX7227SFSS compatible with GE microwave model PEB9159SJSS? Thank you.”