The irony in the paragraphs accomplishes the following:
It presents information to the reader that the characters do not yet know.
The readers know that both characters are at the same location (the marina) while they are unaware of it, creating a situation where their communication leads to an unexpected revelation.