Some articles about the lawsuit list a third patent. It is a (real) invention patent, not a design patent, for the shape of the keys:

8,162,552 which expires in 2031. <https://patents.google.com/patent/US8162552B2/en>