Sticky-enabled Table Headers cause IE10 to crash on printing

A customer complained that printing a Views (3.7) page on my Drupal (7.23) Site using Theme Marinelli (7.x-3.0-beta11) causes IE10 to error ("Internet Explorer has stopped working"). And he's right. Works fine on Firefox, Chrome, Opera, even IE9 (but note not in IE 10 using Browser Mode IE9). It does work in IE10 in Document Mode 'quirks'.

On investigation it boils down to the use of sticky table headers - use them fail, turn them off fine! I found that code in misc/tableheader.js lines 12-14 (below) 'helps' IE10 create the problem. When I noop the function or unset it, or turn off this feature in Views the problem goes away . No problem on page display of the same page.

$('table.sticky-enabled', context).once('tableheader', function () {
$(this).data("drupal-tableheader", new Drupal.tableHeader(this));
});

Is there anything wrong or non-standard in this code that might 'invite' IE10 to mis-behave?

Ron