Yes, it was pretty nice, they covered it even though it was likely my fault and I didn't have coverage for that, only took them an hour or so on a busy day, but

Yes, it was pretty nice, they covered it even though it was likely my fault and I didn't have coverage for that, only took them an hour or so on a busy day, but they had to order in the part which took a few days, if I recall. A side effect is that I don't have my serial number printed on the case anymore, a tech wrote it on the inside of the case for future techs to find.