Yes. That works. Thanks!
I was also able to do it by creating an attachment.php file in my child theme, copying the single.php code and modifying it by adding:
<?php echo wp_get_attachment_image( get_the_ID(), ‘large’ ); ?>
<?php
Is it ok to do it that way?