They probably should in that case! But it begs the question, why didn't they, given that would have been the simplest option?