Hello @GISER
if you are doing the exteriorshell only, i will not recommend doing BSLPK as you will be carry extra geometry (elements) that you don't need. I will published the exteriorshell as 3D objects.
Also, ArcGIS Pro does not read Navisworks natively, but if you want to use that route you wll need to convert the navisworks files into FBX ( I will recommend reducing the number of polygons so the files are of manageable size) and then import the .fbx into Pro.
David