There is a special trimmed down version called Vivado Lab Solutions. You can read more about it at the link below. If you just need the board connected to hw server, have you checked out the smart lynq cable (for a remoate ethernet only type connection)? Looks like if your budget is $500, this might not be a great option since you would need three of these and they are $495 (on our website). I just wanted to make sure you knew it existed, might save some headache and space.