The short and rude answer would be yes I have :)
The bit longer answer is: obtain the same with the following code replacing your two lines:
<?php if (function_exists("has_post_thumbnail") && has_post_thumbnail() ) {
the_post_thumbnail('full',array('alt'=>the_title_attribute('echo=0'))); }
?>which also checks if there is a thumbnail image before inserting it. The parameter 'full' means that it will take the original size image which is what the code you have posted does. If you have a specified post thumbnail size you want to use, you can replace it with 'post-thumbnail'.
