I needed to replace the battery on my late 2013 mbp pro, but when I requested that service I actually got a whole new case with a new trackpad, keyboard and speakers. What I'm curious about is if I got a different type of keyboard. It feels like the buttons have a little bit less travel. I don't really mind if this one is a lower-profile keyboard, but I'm concerned if it is less reliable than the old one, having read about dust issues with keyboards on the more recent macbook pros. Is there any way to check what generation of mbp keyboard I now have?