Yay! The independent Apple shop can reinstall Sierra for me!