Длина бассейна

Каждый раз, когда плаваю в новом месте, мне надо выяснить, какой длины бассейн, чтобы правильно рассчитать, сколько мне нужно кругов проплыть. Вопрос, казалось бы, простой, но если это не спортивный бассейн, то, как правило, он имеет произвольную длину. А вот что удивительно, так что что ни разу никто из персонала отеля, апартаментов, аквапарка или иного учреждения, обслуживающего бассейн, не смог мне сказать его длину. Хотя, что может быть проще, у человека вообще работа весьма однообразная: смотреть за бассейном. Самому же должно быть интересно, какой он длины.

Может быть существуют приложения, которые могут померить длину, есть такие?