Did any other Tuxmat owners get a message about extra velcro pads being dispatched to deal with the clips not working in the Model 3? Has anyone installed them? My mats are still boxed in the garage awaiting the chilly season but curious how well they fit without this fix and how the velcro process goes.