I'm very interested to hear more on this. Do you have 90kWh available, or did they limit it to 85kWh? You might be a lucky exception.
I also just had my battery replaced, also 2014 S85 with AP1, pack was replaced with an 85 pack just as expected, so also perfectly happy.