Do you happen to know the ratio of regular to premium in mid grade?
Only reason I know this is because premium gas in California used to be 92 octane. So the three choices were 87, 89, and 92. When we dropped to 91 octane, a lot of the stations near me had to swap out the yellow sticker on their mid-grades to read "88.5". That was my clue that the ratio had not been adjusted yet.