Basically yes, you can add raw html to the PHP files. But if you are wanting these images to show in the header, I believe you would use the tpl_header.php file - but then again it's a TM template so who knows, they do all kinds of wonky stuff on their templates :/

Hope that helps!