These sets of problems involving hall.dll are often difficult to deal with (I'm not really experienced enough with it to jump in myself) so it may take a bit longer for someone who can help to come up with some suggestions.