I have an 11 inch pro, the mini 7 and the MBA 13 inch. I’m thinking of picking up a 13 inch just for media consumption. I work from home so would never take it out of the house, I have the mini for that. I use my 11 inch connected to the Magic Keyboard all the time so maybe I wouldn’t find the 13 inch too big.