Отпуск за служители без необходимия трудов стаж

Въпрос: Имам назначени чужденци от трети страни, които работят във фирма на срочен трудов договор за летния сезон. Отпускът, който се е натрупал през работа по договора, работодателят го е дал да се използва действително, но работниците нямат 4 м. стаж в България, а някои работници нямат и стаж в държавата, от която идват.
Може ли по усмотрение на работодателя натрупаният отпуск да се използва, а не да се изплаща като обезщетение?
Според Наредбата за работното време, почивките и отпуските всяко лице, което има натрупани поне 4 месеца стаж през живота си, може да се възползва от използването на платен отпуск, но когато работниците са чуждестранни граждани - трябва ли да ги питаме дали имат натрупан стаж в държавата, от която идват, или гледаме само трудовия договор в България?