This thread is for the general discussion of the table Portal Pinball. Please add to the discussion here.