Help with some manual coding

I need to manually add a domain to an email address. At the moment I have emails set up to send to multiple recipients using their email address. That works fine but now the client want's to use their email forwarding address. That is to say that the domain part of the address will always be the same. In the database the forwarding address is just their first and lastname with a dot in between (john.langer) so I want to add the "@domain.com" from within the code. At the moment I have this

//To Entries
        do {
      $WA_MailObject = WAUE_AddRecipient($WA_MailObject,"".$row_rsListMembers["email"]  ."");
          } while ($row_rsListMembers = mysql_fetch_assoc($rsListMembers));
  }

I need to add the domain to it. Is this correct?

//To Entries
        do {
      $WA_MailObject = WAUE_AddRecipient($WA_MailObject,"".$row_rsListMembers["realmail"]  . "@domain.com" . "");
          } while ($row_rsListMembers = mysql_fetch_assoc($rsListMembers));
  }

Does that seem the correct code to you? I just want to check before testing as a test email will go to about 250 people so I don't want to send endless testing emails.

Many thanks