We just got our 4R on Saturday and I had the same question. I live in NM at a relatively high altitude (~8000 ft).
The regular pumps all seem to sell 86 and midgrade is 88, which is what I've been putting in.
But as gas prices rise, I wouldn't mind lowering to the 86. But if 87 is...