Добрый день
у ИП на ЕВНД есть гаражный бокс, где он осуществляет свою основную деятельность (автосервис) ОКВЭД 45.20,

также есть ООО на ОСНО, который тоже иногда пользуется данным боксом (техобслуживание) в своей деятельности оквэд 45.20, бесплатно по согласованию с ИП.
Основная деятельность 45.3 продажа деталей.

Какими документами оформить на основании которых он осуществляет свою деятельность в данном боксе, чтобы не платить дополнительных налогов.