Ne E-Mail schreiben würd ich denen auf jeden Fall, allerdings wär's mir bei solchen Sachen recht egal, zumal wenn das nicht öfter vorkommt.